package domein.server;

import java.rmi.Remote;
import java.rmi.RemoteException;

import javax.swing.text.StyledDocument;

import domein.client.IClient;

public interface IBuilder extends Remote{
	

		public StyledDocument read(int serverID) throws RemoteException;
		
		public void write(int serverID, StyledDocument theString) throws RemoteException;
		
		public boolean hasChanged(int serverID) throws RemoteException;
		
		
		public void addObserver(IClient client) throws RemoteException;

		public int getID() throws RemoteException;

		public void notifyObservers(int clientID) throws RemoteException;
		
		public void removeOserver(int clientID) throws RemoteException;

		
	//	public void notifyObservers(String client)throws RemoteException;

	//	public String getObservers() throws RemoteException;
		
	}

